Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the pr...(展开全部)

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the compli...(展开全部)

The first part of this volume is based on a course taught at Princeton University in 1961-62; at that time, an excellent set of notes was prepared by David Cantor, and it was originally my intention to make these notes available to the mathematical public with only quite minor changes. Then, among some old papers of mine, I accidentally came across a long-forgotten manuscript b...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

Theory of Type Design, by internationally renowned Dutch graphic designer and typographer Gerard Unger (born 1942), is the first complete and accessible theory of the breathtakingly varied field of typography. "Of all designed objects letters are probably the most pervasive," as Unger explains at the beginning of his study. "Very familiar yet amazingly diverse in their appearan...(展开全部)

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

The purpose of this book is to thoroughly prepare the reader for research in string theory at an intermediate level. As such it is not a compendium of results but intended as textbook in the sense that most of the material is organized in a pedagogical and self-contained fashion. Beyond the basics, a number of more advanced topics are introduced, such as conformal field theory...(展开全部)

別懷疑！你一定收過這封轉寄信！ 網路最夯韓國爆笑血型漫畫！正式登台！ 官方版完整大收齊！ 女神(口卡)(口卡)：我也有收到轉寄信喔！ A型人膽小又怕事，其實是未雨綢繆怕萬一？ B型人神經最大條，難道是天馬行空好隨性？ O 型人愛搞小團體，莫非是敵我分明不隨意？ AB型外星人轉世，實在是世人皆濁他獨清？ 老師說以貌取人不可以，這老師鐵定是A型！ 一樣米養百樣人，從性格真的看得出一個人的血型嗎？ 韓國超紅網路漫畫家RealCrazyMan告訴你這一切都有跡可循，只要把A、B、 O、AB四種血型的人放在同一情境做超級比一比，答案立即揭曉！ 無論你是小心謹慎的A型、樂天隨性的B型、爽快豪邁的O型或是謎樣飄忽的AB型，爆笑血型情境劇絕對則則點你笑穴、精準犀利！